Action Systems Synthesis of DI Circuits

A sub-class of action systems has recently been shown to model the behaviour of asynchronous delay-insensitive circuits. Hence, the action systems formalism can be used to design such circuits. The set of action systems belonging to this subclass is, however, rather limited and therefore it might be difficult to find such a system directly. In this paper we introduce a design method for delay-insensitive circuits. We show how an arbitrary action system can be stepwise transformed into a delay-insensitive form that allows a mapping to digital circuit elements. The transformations are correctness preserving and based on the Refinement Calculus.